<?php 
function is_true($term_to_test){
	global $settings;
	if ($settings[$term_to_test]){
		return true;
	} else {
		return false;
	}
}

function echo_setting($term_to_test){
	global $settings;
	if ($settings[$term_to_test]){
		echo $settings[$term_to_test];
	} else {
		echo "!".$term_to_test." is undefined!";
	}
}

function get_setting($term_to_test){
	global $settings;
	if ($settings[$term_to_test]){
		return $settings[$term_to_test];
	} else {
		echo "!".$term_to_test." is undefined!";
	}
}

function set_setting($term_to_set, $new_value){
	global $settings;
	$setting[$term_to_set] = $new_value;
	file_put_contents("settings.ini", serialize($settings));
}

?>